Thorbiörn Fritzon & Tobias Wrigstad (eds.).'s Documents

Thorbiörn Fritzon & Tobias Wrigstad (eds.).'s Documents

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
Read more
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Read more
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Bathing Without a Battle: Person-Directed Care of Individuals with Dementia, Second Edition (Springer Series on Geriatric Nursing)

Bathing Without a Battle: Person-Directed Care of Individuals with Dementia, Second Edition (Springer Series on Geriatric Nursing)
Read more
Raising Public Awareness of Mathematics

Raising Public Awareness of Mathematics
Read more
Technologies for E-Learning and Digital Entertainment: First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings (Lecture Notes in Computer Science)

Technologies for E-Learning and Digital Entertainment: First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings (Lecture Notes in Computer Science)
Read more
Protein-protein interactions in plant biology

Protein-protein interactions in plant biology
Read more
No title

No title
Read more
Quantum mechanics, mathematics, cognition, and action: proposals for a Formalized Epistemology

Quantum mechanics, mathematics, cognition, and action: proposals for a Formalized Epistemology
Read more
Endocytobiology III (Annals of the New York Academy of Sciences, 503)

Endocytobiology III (Annals of the New York Academy of Sciences, 503)
Read more
No title

No title
Read more
Differential geometry, Valencia 2001 : proceedings of the international conference held to honour the 60th birthday of A.M. Naveira, Valencia, July 8-14, 2001

Differential geometry, Valencia 2001 : proceedings of the international conference held to honour the 60th birthday of A.M. Naveira, Valencia, July 8-14, 2001
Read more
Pseudo-differential operators and related topics

Pseudo-differential operators and related topics
Read more
pragmatism and diversity.dewey in the context of late twentieth century debates

pragmatism and diversity.dewey in the context of late twentieth century debates
Read more
Res Gestae Divi Augusti: The Achievements of the Divine Augustus

Res Gestae Divi Augusti: The Achievements of the Divine Augustus
Read more
Letters, Volume II: Books 8-10. Panegyricus (Loeb Classical Library)

Letters, Volume II: Books 8-10. Panegyricus (Loeb Classical Library)
Read more
Institutions and the Role of the State (New Horizons in Institutional and Evolutionary Economics Series)

Institutions and the Role of the State (New Horizons in Institutional and Evolutionary Economics Series)
Read more
Opera, vol. II: Scripta Maiora

Opera, vol. II: Scripta Maiora
Read more
Schrödinger Operators: With Applications to Quantum Mechanics and Global Geometry

Schrödinger Operators: With Applications to Quantum Mechanics and Global Geometry
Read more
Nanoengineered Nanofibrous Materials

Nanoengineered Nanofibrous Materials
Read more
Statistics and finance : an interface : proceedings of the Hong Kong International Workshop on Statistics and Finance, Centre of Financial Time Series, the University of Hong Kong, 4-8 July 1999

Statistics and finance : an interface : proceedings of the Hong Kong International Workshop on Statistics and Finance, Centre of Financial Time Series, the University of Hong Kong, 4-8 July 1999
Read more
Advanced Mathematical and Computational Tools in Metrology and Testing: Amctm VIII

Advanced Mathematical and Computational Tools in Metrology and Testing: Amctm VIII
Read more
Group Theoretical Methods in Physics: Proceedings of the XVIII International Colloquium Held at Moscow, Ussr, 4-9 June 1990 (International Colloquium on ... Theoretical Methods in Physics: Proceedings)

Group Theoretical Methods in Physics: Proceedings of the XVIII International Colloquium Held at Moscow, Ussr, 4-9 June 1990 (International Colloquium on ... Theoretical Methods in Physics: Proceedings)
Read more
Terrorism, hot spots and conflict-related issues: Terrorist Attacks and counterinsurgency practices

Terrorism, hot spots and conflict-related issues: Terrorist Attacks and counterinsurgency practices
Read more
Chinese Lessons from Other Peoples' Wars (Strategic Studies Institute)

Chinese Lessons from Other Peoples' Wars (Strategic Studies Institute)
Read more
Selected papers of J. Robert Schrieffer : in celebration of his 70th birthday

Selected papers of J. Robert Schrieffer : in celebration of his 70th birthday
Read more
Advanced Characterization Techniques for Thin Film Solar Cells

Advanced Characterization Techniques for Thin Film Solar Cells
Read more
Link mining: Models, algorithms, and applications

Link mining: Models, algorithms, and applications
Read more
History Of Philosophy Vol 3 Medieval Philosophy

History Of Philosophy Vol 3 Medieval Philosophy
Read more
Perspectives on 21st Century Agriculture: A Tribute to Walter J. Armbruster

Perspectives on 21st Century Agriculture: A Tribute to Walter J. Armbruster
Read more